d{-}decl($D$;$i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}action{-}dec($\lambda$$i$,$a$. M($i$).da(locl($a$));$\lambda$$l$,${\it tg}$. M(source($l$)).dout($l$,${\it tg}$);$i$)